Lobovikov Vladimir O. «Applying Logic to Philosophical Theology: A Formal Deductive Inference of Affirming God’s Existence from Assuming the A-Priori-ness of Knowledge in the Sigma Formal Axiomatic Theory» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2020. №55 C.5-12
Lobovikov V.O. «A formal-axiological law of contraposition of binary operation "necessity" in two-valued algebra of metaphysics» // 2012. №4 (20) C.27-33
Lobovikov Vladimir О. «Analytical Theology: God's Omnipotence as a Formal-Axiological Law of the Two-Valued Algebra of Formal Ethics (Demonstrating the Law by "Computing" Relevant Evaluation-Functions)» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №47 C.87-93